punch holder shanks - German English Dictionary